UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance
نویسندگان
چکیده
We present a tool which integrates the Unified Modeling Language with a processoriented technique for component system specification and design. We have transformed the definition of process inheritance into definitions of inheritance of UML diagrams. The definitions of UML diagrams inheritance have been built into the tool to guarantee component system development with correct inheritance of component behaviour.
منابع مشابه
D2.2.2 Tool Set for System Verification Validation of Uml Models via a Mapping to Communicating Extended Timed Automata
We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended timed automata in the IF format and the use of the existing model-checking and simulation tools for this format. We take into account most of the structural and behavioral characteristics of classes and their interplay and tackle...
متن کاملModel checking of UML models via a mapping to communicating extended timed automata
We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended timed automata in the IF format and the use of the existing model-checking and simulation tools for this format. We take into account most of the structural and behavioral characteristics of classes and their interplay and tackle...
متن کاملStateful Design for Secure Information Systems
The unified modeling language (UML) has gained wide acceptance for the design of component-based applications via diagrams (e.g., use-case, class, sequence, activity, etc.) for representing functional requirements. However, UML is lacking in its ability to model security requirements, an increasing need in today's applications. This paper presents and explains techniques that support stateful a...
متن کاملInterface Suites as Contracts. Composition of Contracts in UML
We present a tool for composition of component specifications. The tool uses UML diagrams to model the composition. A fixed component specification is a contract between some roles communicating via interfaces. A contract has a specific underlying model that we present. Composition of contracts is a contract that extends contracts of composites, but does not change them. To guarantee this featu...
متن کاملStateful Design for Secure Information Systems1
The unified modeling language (UML) has gained wide acceptance for the design of component-based applications via diagrams (e.g., use-case, class, sequence, activity, etc.) for representing functional requirements. However, UML is lacking in its ability to model security requirements, an increasing need in today's applications. This paper presents and explains techniques that support stateful a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 80 شماره
صفحات -
تاریخ انتشار 2003